Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
نویسندگان
چکیده
منابع مشابه
Calculating Restart States for Systems Modeled by Operations Using Supervisory Control Theory
This paper presents a supervisory control theory based offline method for calculating restart states in a manufacturing control system. Given these precalculated restart states, an operator can be given correct instructions for how to resynchronize the control system and the manufacturing resources during the online restart process. The proposed method enables restart after unforeseen errors. I...
متن کاملApplying Supervisory Control Theory to Discrete Event Systems Modeled by Object Oriented Principles
Implementation of complex discrete event manufacturing systems can be considerably simplified by use of general reusable software modules, representing the physical components. At the same time, construction of the control system can be facilitated by use of formal methods for automatic generation of the control laws. These two aspects can be joined into a general concept with object oriented m...
متن کاملSupervisory Control for Nondeterministic Systems Supervisory Control for Nondeterministic Systems
In this paper we present the rst results of our attempt to set up a supervisory theory for nondeterministic discrete event systems. The supervisory control problem for nondeterministic systems is speciied and motivated. A necessary and suucient condition for the existence of a supervisor is derived. Also an algorithm is presented that will automatically generate a supervisor. The results are ex...
متن کاملSupervisory control for underbalanced drilling operations
Good flow and pressure control is essential for successful Underbalanced Drilling (UBD) operations. This work evaluates the use of Model Predictive Control (MPC) for integrated control of well conditions and the topside separation system during UBD. The downhole well pressure, separator liquid levels, and the separator pressure are controlled by manipulation of the rig pump, the choke, and the ...
متن کاملSupervisory Control of Real-time Discrete Event Systems Modeled by Timed Automata with Invariants
The objective is to synthesize a supervisor that forces a given plant to conform to a given formal specification. Timed Automata (TA) with invariants is the model used to describe the plant and the specification, and the synthesis approach consists of using a transformation of TA into particular finite state automata called Set-Exp-Automata.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Machines
سال: 2013
ISSN: 2075-1702
DOI: 10.3390/machines1030116